package beans;

import java.util.HashMap;

public class OperationContractPostCondition {

	private String className;
	private String variableName;
	private HashMap<String, String> attributes;

	public OperationContractPostCondition(String className, String variableName) {
		this.className = className;
		this.variableName = variableName;
	}

	public OperationContractPostCondition(String className,
			String variableName, HashMap<String, String> attributes) {
		this.className = className;
		this.variableName = variableName;
		this.attributes = attributes;
	}

	public String getClassName() {
		return className;
	}

	public void setClassName(String className) {
		this.className = className;
	}

	public String getVariableName() {
		return variableName;
	}

	public void setVariableName(String variableName) {
		this.variableName = variableName;
	}

	public HashMap<String, String> getAttributes() {
		return attributes;
	}

	public void setAttributes(HashMap<String, String> attributes) {
		this.attributes = attributes;
	}

}
